Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
961	Atom Mapping with Constraint Programming Martin Mann1 , Heinz Ekker1 , Peter F. Stadler1−5 , and Christoph Flamm1 1 Institute for Theoretical Chemistry, University of Vienna, W¨ ahringerstrasse 17, 1090 Add to Reading List Source URL: www.tbi.univie.ac.at Language: English - Date: 2012-07-17 07:15:19 Chemical bond Electron Chemical formula Redox Isotopic labeling Hydrogen bond Radical Bond valence method Topological index Chemistry Chemical bonding Chemical reaction
962	TE C HNI C A L R E P O R T ¨ I NFORMATIONSSYSTEME I NSTITUT F UR A BTEILUNG DATENBANKEN Add to Reading List Source URL: www.dbai.tuwien.ac.at Language: English - Date: 2009-05-12 12:13:42 Scheduling algorithms Scheduling Business Constraint optimization Management Nurse scheduling problem Planning Constraint programming Operations research
963	Atom Mapping with Constraint Programming Martin Mann1 , Feras Nahar1 , Heinz Ekker5 , Rolf Backofen1−4 , Peter F. Stadler5−9 , and Christoph Flamm5 1 Bioinformatics, Department for Computer Science, University of Fr Add to Reading List Source URL: www.bioinf.uni-freiburg.de Language: English - Date: 2013-11-27 09:54:28 Chemical formula Chemical bond Chemical reaction Cycloalkane Bond valence method Valence electron Hydrogen Adjacency matrix Graph Chemistry Chemical bonding Hydrogen bond
964	Review of Automatic Document Formatting Nathan Hurst Adobe Systems Inc. 345 Park Ave. San Jose, CA 95110 Add to Reading List Source URL: www.wilmotli.com Language: English - Date: 2010-08-05 20:57:23 Communication design Mathematical optimization Applied mathematics Constraint programming Page layout XSL Formatting Objects Graphic design Algorithm Column Operations research Computing Mathematics
965	PDF Document Add to Reading List Source URL: www-2.dc.uba.ar Language: English - Date: 2004-09-21 22:41:38 Theoretical computer science Generalized semi-infinite programming Semi-infinite programming Robust optimization Convex optimization Constraint Optimization problem Combinatorial optimization Karush–Kuhn–Tucker conditions Mathematical optimization Mathematical analysis Mathematics
966	KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Cristian Cadar, Daniel Dunbar, Dawson Engler ∗ Stanford University Abstract Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:19:41 Computer programming Klee Constraint programming Programming language implementation Symbolic execution Code coverage Assembly language Concolic testing Software engineering Software testing Bauhaus
967	Proceedings of WCB13 Workshop on Constraint Based Methods for Bioinformatics Alessandro Dal Pal`u and Agostino Dovier September 16, 2013, Uppsala (Sweden) Add to Reading List Source URL: cp2013.a4cp.org Language: English - Date: 2014-06-16 22:25:15 Constraint programming Econometrics Systems biology Data analysis Gene regulatory network Constraint satisfaction problem Regression analysis Confidence interval Bootstrapping Statistics Science Statistical inference
968	Microsoft Word - ProceedingsCSCLP_06.doc Add to Reading List Source URL: centria.di.fct.unl.pt Language: English - Date: 2007-02-26 21:14:19 Computing Constraint satisfaction Constraint logic programming Logic programming Local consistency Constraint Constraint programming Software engineering Computer programming
969	A Specification-Based Test Case Generation Method for UML/OCL Achim D. Brucker1 , Matthias P. Krieger2,3 , Delphine Longuet2,3 , and Burkhart Wolff2,3 1 Add to Reading List Source URL: www.brucker.ch Language: English - Date: 2011-12-04 09:41:21 Object Constraint Language Programming language semantics Software ECO Symbol Unified Modeling Language
970	A Benders approach for the constrained minimum break problem Rasmus V. Rasmussen1 and Michael A. Trick2 1 Department of Operations Research, University of Aarhus, Ny Munkegade, Add to Reading List Source URL: mat.gsia.cmu.edu Language: English - Date: 2005-12-05 14:03:17 Computer programming Mathematical optimization Convex optimization Linear programming Applied mathematics Constraint Pattern Operations research Constraint programming Software engineering

UPDATE